1 /*
2 ContractChecker
3
4 Copyright (C) 2003 Jose San Leandro Armend?riz
5 jsanleandro@yahoo.es
6 chousz@yahoo.com
7
8 This library is free software; you can redistribute it and/or
9 modify it under the terms of the GNU General Public
10 License as published by the Free Software Foundation; either
11 version 2 of the License, or (at your option) any later version.
12
13 This library is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 General Public License for more details.
17
18 You should have received a copy of the GNU General Public
19 License along with this library; if not, write to the Free Software
20 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
21
22 Thanks to ACM S.L. for distributing this library under the GPL license.
23 Contact info: jsr000@terra.es
24 Postal Address: c/Playa de Lagoa, 1
25 Urb. Valdecaba?as
26 Boadilla del monte
27 28660 Madrid
28 Spain
29
30 ******************************************************************************
31 *
32 * Filename: $RCSfile: ContractCheckerException.java,v $
33 *
34 * Author: Jose San Leandro Armend?riz
35 *
36 * Description: Models runtime information in abnormal, but managed,
37 * situations.
38 *
39 * Last modified by: $Author: chous $ at $Date: 2004/01/11 17:33:04 $
40 *
41 * File version: $Revision: 1.2 $
42 *
43 * Project version: $Name: $
44 *
45 * $Id: ContractCheckerException.java,v 1.2 2004/01/11 17:33:04 chous Exp $
46 *
47 */
48 package org.acmsl.contractchecker;
49
50 /***
51 * Models runtime information in abnormal, but managed, situations.
52 * @author <a href="mailto:jsanleandro@yahoo.es">Jose San Leandro</a>
53 * @version $Revision: 1.2 $
54 */
55 public class ContractCheckerException
56 extends Exception
57 {
58 /***
59 * Creates a ContractCheckerException to model
60 * an abnormal situation described by given message.
61 * @param message the message.
62 */
63 public ContractCheckerException(String message)
64 {
65 super(message);
66 }
67 /***
68 * Creates a ContractCheckerException to model
69 * an abnormal situation described by given message,
70 * wrapping additional exception.
71 * @param message the message.
72 * @param cause the detailed cause.
73 */
74 public ContractCheckerException(String message, Throwable cause)
75 {
76 super(message, cause);
77 }
78 }
This page was automatically generated by Maven